procedure invariant

procedure invariant
procedūros invariantas statusas T sritis informatika apibrėžtis Teiginys, kuris yra teisingas prieš vykdant procedūrą ir įvykdžius ją. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. atitikmenys: angl. procedure invariant

Enciklopedinis kompiuterijos žodynas . . 2008.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Invariant factorization of LPDOs — IntroductionFactorization of linear ordinary differential operators (LODOs) is known to be unique and in general, it finally reduces to the solution of a Riccati equation [http://en.wikipedia.org/wiki/Riccati equation] , i.e. factorization of… …   Wikipedia

  • Invariant estimator — In statistics, the concept of being an invariant estimator is a criterion that can be used to compare the properties of different estimators for the same quantity. It is a way of formalising the idea that an estimator should have certain… …   Wikipedia

  • Scale-invariant feature transform — Feature detection Output of a typical corner detection algorithm …   Wikipedia

  • Scale-invariant feature transform — Exemple de résultat de la comparaison de deux images par la méthode SIFT (Fantasia ou Jeu de la poudre, devant la porte d’entrée de la ville de Méquinez, par Eug …   Wikipédia en Français

  • Normal invariant — In mathematics, a normal map is a concept in geometric topology due to William Browder which is of fundamental importance in surgery theory. Given a Poincaré complex X, a normal map on X endows the space, roughly speaking, with some of the… …   Wikipedia

  • procedūros invariantas — statusas T sritis informatika apibrėžtis Teiginys, kuris yra teisingas prieš vykdant procedūrą ir įvykdžius ją. Vartojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys… …   Enciklopedinis kompiuterijos žodynas

  • BRST quantization — In theoretical physics, BRST quantization (where the BRST refers to Becchi, Rouet, Stora and Tyutin) is a relatively rigorous mathematical approach to quantizing a field theory with a gauge symmetry. Quantization rules in earlier QFT frameworks… …   Wikipedia

  • Constructor (object-oriented programming) — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations …   Wikipedia

  • Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… …   Wikipedia

  • Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”